@import "reset.css";

div#debug_console {margin-top: 20px; font-family: Tahoma; font-size: 12px; border: 1px solid #ccc;}
div#debug_console div.hidden {display: none;}

div#debug_console h1 {
    margin: 0;
    text-align: left;
    padding: 2px;
    background-color: #f0c040;
    color:  black;
    font-weight: bold;
 }

div#debug_console h2 {
    background-color: #9B410E;
    color: white;
    text-align: left;
    font-weight: bold;
    padding: 2px;
    border-top: 1px solid black;
}

div#debug_console p, div#debug_console table, div#debug_console div {
    background: #f0ead8;
} 

div#debug_console p {
    margin: 0;
    font-style: italic;
    text-align: center;
}

div#debug_console table {
    width: 100%;
	font-size: 12px;
}

div#debug_console th, div#debug_console td {
    vertical-align: top;
    text-align: left;
    
}

div#debug_console td {
    color: green;
	width: 70%;
}

div#debug_console .odd {
    background-color: #eeeeee;
}

div#debug_console .even {
    background-color: #fafafa;
}

.div#debug_console exectime {
    font-size: 0.8em;
    font-style: italic;
}

div#debug_console #table_assigned_vars th {
    color: blue;
}

div#debug_console #table_config_vars th {
    color: maroon;
}